Interestingness of traces in declarative process mining: The janus LTLPf Approach

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLp f). To mine them out of event logs, we devise a time bi-directional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints

Digital Control of a Continuous Stirred Tank Reactor

We project a novel digital control law for continuous stirred tank reactors, based on sampled measures of temperatures and reactant concentration, as it happens in practice. The methodology of relative degree preservation under sampling is used. It is proved that a suitably approximated sampled system, obtained by Taylor series expansion and truncation, in closed loop with the projected control law, is asymptotically stable, provided that a condition on the sampling period is verified. Such condition allows for values of the sampling period larger than necessary in practical implementation with usual technology. Many simulations show the high performance of the proposed digital control law

Effect of gaseous ozone on listeria monocytogenes planktonic cells and biofilm: An in vitro study

Among food-borne pathogens, Listeria monocytogenes continues to pose concerns to food business operators due to its capacity to form biofilm in processing environments. Ozone may be an eco-friendly technology to control microbial contaminations, but data concerning its effect on Listeria monocytogenes biofilm are still limited. In this study, the effect of gaseous ozone at 50 ppm on planktonic cells and biofilm of reference and food-related Listeria monocytogenes strains was evaluated. Ozone caused a reduction in microbial loads of 3.7 ± 0.4 and 3.9 ± 0.4 Log10 CFU/mL after 10 and 30 min, respectively. A complete inactivation of planktonic cells after 6 h of treatment was observed. Biofilm inhibition and eradication treatments (50 ppm, 6 h) resulted in a significant decrease of the biofilm biomass for 59% of the strains tested, whilst a slight dampening of live cell loads in the biofilm state was observed. In conclusion, gaseous ozone is not sufficient to completely counteract Listeria monocytogenes biofilm, but it may be useful as an additional tool to contrast Listeria monocytogenes free-living cells and to improve the existing sanitization procedures in food processing environments

Preliminary notes on invasion and proliferation of foodborne Listeria monocytogenes strains

In this study, virulence properties of L. monocytogenes strains isolated from food and food environments were evaluated. In particular, adhesion and invasion efficiencies were tested in a cell culture model (HeLa). Half of the isolates (9/18) exhibited a high invasion index. In particular, the strain isolated from smoked salmon had the highest invasion index. The remaining isolates showed an intermediate invasion index. All environmental isolates belonged to this group. Finally, no isolates revealed a low invasion index. Regarding intracellular growth, all tested isolates had a replication time between 2 and 6 hours. For this reason, they can be considered virulent. In spite of its capability to invade HeLa cells with a medium/high invasion index, a non-haemolytic rabbit isolate did not show any intracellular growth. In conclusion, differences in invasion efficiency and intracellular growth did not seem strictly related to the origin of the strains. Moreover, invasiveness of an organism is not the only requirement for establishing an infection. Virulence of L. monocytogenes also depends on ability to grow intracellularly and to spread from cell to cell. For these reasons, PCR detection of known virulence genes has the potential to gain additional insight into their pathogenic potential. A comprehensive comparative virulence characterization of different L. monocytogenes strains in studies that include tissue culture models and PCR detection of virulence genes will be necessary to investigate differences in human-pathogenic potentials among the subtypes of this bacterium